ruler postulate example